Perfect failure detection with very few bits
نویسندگان
چکیده
منابع مشابه
Enforcing Perfect Failure Detection
Perfect failure detectors can correctly decide whether a computer is crashed. However; it is impossible to implement a perfect failure detector in purely asynchronous systems. We show how to enforce perfect failure detection in timed distributed systems with hardware watchdogs. The two main system model assumptions are ( I ) each computer can measure time intervals with a known maximum error, a...
متن کاملPerfect Powers with Few Ternary Digits
We classify all integer squares (and, more generally, q-th powers for certain values of q) whose ternary expansions contain at most three digits. Our results follow from Padé approximants to the binomial function, considered 3-adically.
متن کاملPerfect Hash Families with Few Functions
An (s; n; q; t)-perfect hash family is a set of functions 1 ; 2 ; : : :; s from a set V of cardinality n to a set F of cardinality q with the property that every t-subset of V is injectively mapped into F by at least one of the functions i. The paper shows that the maximum value n s;t (q) that n can take for xed s and t has a leading term that is linear in q if and only if t > s. Moreover, for ...
متن کاملNeither Reading Few Bits Twice nor Reading
We rst consider so-called (1; +s)-branching programs in which along every consistent path at most s variables are tested more than once. We prove that any such program computing a characteristic function of a linear code C has size at least 2 (minfd 1 ; d 2 =sg) , where d 1 and d 2 are the minimal distances of C and its dual C ?. We apply this criterion to explicit linear codes and obtain a sup...
متن کاملPerfect Failure Detection in Timed Asynchronous Systems
Perfect failure detectors can correctly decide whether a computer is crashed. However, it is impossible to implement a perfect failure detector in purely asynchronous systems. We show how to enforce perfect failure detection in timed asynchronous systems with hardware watchdogs. The two main system model assumptions are (1) each computer can measure time intervals with a known maximum error, an...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information and Computation
سال: 2020
ISSN: 0890-5401
DOI: 10.1016/j.ic.2020.104604